Identification et exploitation d’états partiels
نویسندگان
چکیده
Dans cet article, nous proposons une étude concernant l’identification et l’exploitation des états partiels inconsistants (IPS) dans le cadre de la résolution du problème de satisfaction de contraintes (CSP). Un IPS correspond à un ensemble de “décisions d’appartenance” prises sur un réseau de contraintes et ne menant à aucune solution. Notre étude tend à unifier un certain nombre de travaux récents concernant les nogoods généralisés, le concept de valeurs en échec et la détection de dominance. Nous introduisons un formalisme simple et unificateur et montrons comment la cohérence d’arc généralisée (GAC) peut être établie efficacement sur les contraintes associées aux IPSs tout au long de la recherche. Nous identifions également plusieurs opérateurs qui permettent d’extraire des IPSs à chaque noeud de l’arbre de recherche prouvé comme étant la racine d’un sous-arbre sans solutions.
منابع مشابه
Structural and algorithmic aspects of partial orderings of graphs. (Aspects structurels et algorithmiques des ordres partiels sur les graphes)
متن کامل
Anti-patrons partiels pour l'identification des problèmes de contradiction sociale dans une ontologie
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملRainbow supercharacters and a poset analogue to q-binomial coefficients
This paper introduces a variation on the binomial coefficient that depends on a poset and interpolates between q-binomials and 1-binomials: a total order gives the usual q-binomial, and a poset with no relations gives the usual binomial coefficient. These coefficients arise naturally in the study of supercharacters of the finite groups of unipotent upper-triangular matrices, whose representatio...
متن کاملIdentification and ranking of occupational and technical stress factors of information security in Aghajari oil and gas Exploitation Company
The purpose of this study is to identify and prioritize the effective technical and technical stress factors of information security by IT experts identified in Aghajari oil and gas Exploitation Company. The statistical population of the study consisted of 100 ICT managers and experts in Aghajari Oil and Gas Co. which directly related to the security of information in the company, 80 of them we...
متن کاملIdentification and Comparison of Components Influencing Rangeland Exploitation from Pastorals and Experts' Viewpoints Using SWOT and AHP
Abstract. Over the past decades, range managers have devoted extensive efforts to conserve and restore rangelands and sustain their exploitation but these efforts are more focused on the classic sciences and the exploiters' knowledge and experience have been neglected in the process. Therefore, current study was done to deal with the prioritizing and comparing factors affecting rangeland exploi...
متن کامل